/****************************************************************************
 * Elisa 1.0                                                                *
 *--------------------------------------------------------------------------*
 * Author: Laurent Granvilliers, Vincent Sorin                              *
 * Copyright (c) 2004 Laboratoire d'Informatique de Nantes Atlantique       *
 *--------------------------------------------------------------------------*
 * Elisa is distributed WITHOUT ANY WARRANTY. Read the associated           *
 * COPYRIGHT file for more details.                                         *
 *--------------------------------------------------------------------------*
 * elisa_even.h                                                             *
 ****************************************************************************/

/**
 * @file elisa_event.h
 * @brief propagation events
 */

#ifndef _elisa_event_h_
#define _elisa_event_h_ 1

enum ElisaEvent {
	DomainReduction
};

#endif
